home *** CD-ROM | disk | FTP | other *** search
- @echo off
- echo Configuring gprof for go32
- rem This batch file assumes a unix-type "sed" program
-
- echo # Makefile generated by "configure.bat"> Makefile
-
- if exist config.sed del config.sed
-
- echo "/^###$/ i\ ">>config.sed
- echo "MY_MACHINE=i386\ ">>config.sed
- echo "CC=gcc ">>config.sed
-
- echo # >> config.sed
-
- sed -e "s/^\"//" -e "s/\"$//" -e "s/[ ]*$//" config.sed > config2.sed
- sed -f config2.sed Makefile.in >> Makefile
- del config.sed
- del config2.sed
-